fixed a small typo, (pointed out in #3139)