Fixed formatting in mysql documentation