small fix in 'mysql.pm'