Minor corrections to the design doc