remove debugging introduced by #7