Minor updates

Minor updates to the spec.