Fix a few documentation mistakes