Formatting issue in design doc