Minor tweak: