Fixed OSX crashing when calling  UI.stop_timer.
Merge pull request #7 from thomthom/master

Fixed OSX crashing when calling  UI.stop_timer. Fixes #6