Updating DOCUMENTS/README according to previous commit