minor edits to the spec