Bash: using a default value.