Do we still need to assume the existence of children other than the `" "` inside a space element?