Added a debugging print.