Fix python3-incompatible syntax