Do go and have a chat with the consul at the Embassy. You will have to make sure the marriage is legally registered in order for it to be recognized. BTW, he may still have problems with a US visa since marriage to a US citizen does NOT automatically confer any special status (much less citizenship.)