Slightly better Python style