with-redefs debugging fix?