small changes in debian/control