source.py: bugfix