small changes to ruz_batch (sync commit)
Merge branch 'jan' of github.com:jdobalaguer/ruz into jan