Fixing typos and removing the tex file that made its way into the build