[PATCH v2 1/1] riched20: Update paragraph position in marked tree.