fixes infufg/SADE#80