Minor typos in previous commit