minor tweak to console messages