Merge #7896: fix typo in help text