Hopefully fixing tikz problem