added some corrections to design doc