Fix a couple doc comments