minor other tweak