fixing some small typos