Fixed some filename typos.