Documentation fixes based on concrete experience