doc/spec: minor updates