Fix a typo and always treat ports as integers: