Fixes #12: Missing files