Updated documentation of mergesort