Change in debian/control