Fix recovery tests

This solves the problem encountered in #90.