Minor clean up in fake timers

Fixes style and minor bug in fake timers.