SI-8460 Fix regression in implicit divergence recovery

Review by @adriaanm