For some reason, Stanley Ann doesn’t strike me as a “paperwork” type. I doubt they were even married.
Divorce records have been published for Stanley Ann v Obama and Stanley Ann v Soetoro.
I’m under the impression that Barry Soetoro was known as such beyond the age of majority (and continued to regard himself as an Indonesian citizen for some time). Is that still his legal name? Did he ever change it legally? (Did he have to?) I wonder! Are there any lawyers reading this thread who could comment?
The question of a valid marriage is something else again. But it's largely irrelevant if BHO Sr is the legal father listed on the BC.