Fix a problem with macro with-timer

No match.