Fix: link to mysql doc