bug in pretty printing of remainig time