Fixed typo in design document.