minor fix to run_ngseasy_dockers.sh