Docfix for MySQL setup.