Fix a typo

I hope it compiles, I didn't check it.