remove errant debugging print (#2227)