Fixes #4606: doc fix. [skip ci]