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