fix typo in mysql-setup