[doc][trivial] Fix the docblock comment about the default version being ...

...7.2 and not 7.0