Why is this not an error? Where is the spec for this behavior?