Fix headings in mysql.md