interpreter.py: minor formatting