Minor fixes and documentation fixes.