minor fixes to design doc