minor updates to design doc