functions.zsh: minor header edit/update