Small python change