fixes infufg/SADE#64