synthesis.py little cleanup