minor revisions to the design doc.