Another minor tweak