Fix a few mistakes.