Minor bug fix for Mysql.