Doc fix

Closes PR 13420

Please merge into 5.3.2