minor edit of 8.3.0 documentation of #4381