Minor documentation fixes.