fixes infufg/SADE#24