minor changes to 3. docs