Doc bug: example command needs stdout redirected