Adding back a debugging print