Fix MySQL docs