Minor corrections to the specification.