Adding proof corrections and minor edits for dpp ms.