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