Fix weird syntax screwup in mix.py