Other info claims he was born on a US installation and in any case both of just parents were citizens so that makes him a citizen, right?
If your folks were travelling overseas when you were born, signed you not a citizen of the USA by birth?
Citizen is not the same as natural born citizen as the Constitution makes clear.