GitHub #193: remove debug spew