One minor tweak