Re: a bug in the db_mysql.sql script