mysql doc fix