(doc) Small doc fixes.