A few useful Python tips