Fixes #354: renames is_deleted to was_deleted.