Bash: fix typo in comment.