Fix some minor typos in comments