minor tweak; output