See the comment below: if you provide a default in the spec, you can get rid of this default here.