Minor corrections and clarifications to the manual.