Ugly workaround for tree badge size