Fixing minor typo in documentation (#2425)