Fixed timer-mutex in governors!