Added some information to DOCUMENTATION.