fix mysql doc