correct some small typos