fix bad indentation in mysql module