tiny tweaks in timeclock.py