bugfix in mysql module