Updates and corrections to typos