Fix a miscompilation.