fix the filenames in the last commit