minor changes to design doc