small fix in mysql startup