fix DOCUMENTATION.txt