Correct for bug in reporting of maxrss by time