trivial typos, file names