Fix some more python syntax.