Fix typo in mysql PR reference