Get rid of this std::cout. This is all nonsense, we're going to have a debug ostream anyway.