yet another minor tweak