Added missing numbering to design doc