More updates to add corrections to the spec.