Minor updates and typo fixes.