small change to adapt to different python release