A few documentation fixes.