Fix typo in rest design document