BUG: extraneous cout