Fix spelling error in designdoc