Bug #3255: Fix fault tolerance hook