fix 'Error in timer: (wrong-type-argument sequencep stop)' warnings