Added specification for Update#constructor