You are correct if you are a US citizen. I would however bring your vaccination card. The agents at EIS may not be up on the rules.