#1915: remove debugging code