Minor touchup, erroneous file name changed

Minor touchup, erroneous file name changed