functions.bash: 2 minor fixes