Added missing file

Fixes #1