Docs: typo

example fails in bash

Closes #6977