Minor changes to design doc