Fix a few comments