Minor updates, fixed typos