Fix a misoptimization in aha.