a cruel ‘double punishment’