fixes infufg/SADE#59