Fix Frege/try-frege#13