Upgrade Frege, fix issue#2