minor typos leftover from moving code