storm.py: minor reformatting