Fix a few documentation errors