See my comment below. We still need to check that a validation error is raised if the default value is not appropriate.