Fix misprint in filename