Fixed formatting issue in DesignDoc.md