Fix ids in design doc