Mostly documentation fixes.