Small tweak to ggtree post