Fix copy/paste'o in the MySQL howto.