really minor tweak