remove some smart quotes; fix a python3 problem