Fix lists in design doc