Minor stylistic change to compiler.py