Correct formatting
Bump version since there is a important API change
Fix huge timer invalidation bug