Updates to the design doc