Fix recovery tests

This solves the problem encountered in #97.