fixes #3192 correct typos