fix a typo
Merge branch 'v5-34-00-patches' of ssh://localhost:10022/home/git/root into proofbench