minor tweaks (mostly comments) to Time related code