corrections to typos