fix file name that seems to have been a typo