fixes infufg/SADE#46