Updated for latest frege release.