insr-1.py: minor adjustments