Two minor typos