Fix typos re: review by @r-gaia-cs.