Bug #3255: Fix fault tolerance hook

(cherry picked from commit d7a5814b0cd2a52b030e57e57c1c2b80f26edf15)