Fix a couple of documentation points