Fix the doc string of mc/mark-pop, which was not updated after a copy.