correcting minor typos