Fix a typo

Nothing very important here, it's just fixing a small typo.