MySQLmini bugfix