Fixed some typos and removed a useless file