Some small tweaks to process.sh main script

See #171