Fix a really dumb pre-optimization bug.