minor improvements to set-get-val.bash