Fix small typo in SSH port number