Fix fail state
Update to storm 0.9.0.1