Fix a few doc comments