Minor: fixed typos in comments