another minor tweak