doc: Apply David's comments.