Remove some more cout-type debug output.