RecordTimer.py: fix typo