Correct filename

fixes #254