bugfixes
Fixes
Merge branch 'tasksplitting_laura' of https://github.com/stulp/dmp_bbo into tasksplitting_laura