mysql_db small fix to docs

as reported on the mailing-list