Fix for issue #33: Hot checkpoint must notify on section delete.