Revert "Fixes nathanmarz/storm#358"

This reverts commit cd8cdacf232a462469e9c9e6eed6f967fde46577.