fix typo in Timer deprecation

Commit

8 years ago

fix typo in Timer deprecation This is an apparent typo in the deprecation from #25647, cc @JeffBezanson