some debian/control syntax style fixes

and delete duplicated HEAD