Fixes #5: correct file name