Fixing some typos and including one more file