various python stuff