This should stay #f, and the places where it's turned on elsewhere are mistakes.