Fix incorrect example in docs; fixes #3079 [skip-ci]