Minor MySQL Docset bug fix