Minor detail fixes on trees