Fix minor doc issue

Proposed fix for #3445