Update to storm 0.9.2