Minor fixes to documentation and code.