Additions to the manual.