Minor tweak to WorldTree.prepareToString to improve padding