small change
Merge branch 'devel' of github.com-oleweidner:saga-project/saga-python into devel