Small changes to the design doc