Adding a header; fixes #28