A few python stuff