Fix egregious error in earlier "Record evaluated-ness" patch