fix erroneous file name