Fix a few comments that did not reflect reality