msort.h: reindent slightly