Somewhat improved documentation