Fixing debian/copyright as of #10