checked index in script (is now +1 everywhere)
Merge branch 'gadget' of https://github.com/ls-cwi/heinz into gadget