fixed a problem with the mysql_database provider