and one more minor tweak