Fix a few minor mistakes