BUG: stray cout.