revert previous change; doesn't work on DICE