Fixing some small typos