Somewhat more complete documentation.