remove std::cout for debugging