Bring the spec of Range in sync with the implementation