Fix syntax errors that made python3 reject us