I think this is closer to what the spec is trying to suggest