Update to the new formatter API

@callahat discovered a new api for timing:

> Turns out there is a new formatter api that should be used instead.
> 
> ( Cuke group thread on google groups: https://groups.google.com/forum/#!topic/cukes/HIGakoahWEA )

Help wanted, please PR - this is a good/easy first enhancement (it appears).
