RecordTimer.py: fix