Bash: Encode the heading.