Changes in the docs section of the spec