.scripts/functions.bash: minor edit