Corrected errors in design doc