Dev/1.0.3 snapshot Fix Frege/try-frege#10

Fix Frege/try-frege#10