A couple of little typos in filenames.