with-redefs debugging typo