Small fix in debian/