Clean up functions_mysql.php just a bit