Fix @restore (#parchment/16)