Fix wrong file name. Fixes #28