Added missing files to fix issue #3