Update to storm 0.8.2