Fix SSH port option