functions.bash: update: header edit and minor fix