minor Python style changes