[doc][trivial] Fix the docblock comment about the default version being 7.2 and not 7.0