Update DOCUMENTATION.txt