added workaround so that #1364 doesnt break the LaTeX export