only amateurs refer to the tail numbers as AF1
When he was on the military plane, he was already on Air Force 1