Fix small typos mentioned in issue 880