another design doc typo