bugfix for tikz export