#3265: remove debugging lines