Fixed typeos in design doc.