More doc and comment fixes.