storm.py: a bit more comments