fix for bug https://bugs.launchpad.net/storm/+bug/1170063 in Storm main project
fix for bug https://bugs.launchpad.net/storm/+bug/1170063 in Storm main project

PyMamba/mamba-storm,PyMamba/mamba-storm,PyMamba/mamba-storm