modified mysql.tex and namespaces.tex