Removed a debugging print().