Fix typo in MySQL documentation