Fix design doc formatting