minor tweak in addition to previous commit