Added cout << (debug)