Add missing files. Fixes #3.