updates to the spec