Fix an error in designdoc