Fix Frege/try-frege#10