Documentation revised