Fixed some errata in the file