Minor edit to DOCUMENTATION.md