Small fix to without_enforce_consistency