design doc tiny fix