STYLE: get rid of extraneous cout