Tidied, fixed typos.