Fix bugs with svgtex