minor: use err? instead of redex-match?
minor