Fixed leaving by contract