Fix typo in mysql port