Fixes #1 by adding file