[PATCH] doc: Trivial fix for reuseaddr-priority