another minimal tweak