fixing some minor typos