#543: Bash 'bash_loader', fix minor typo

Resolves #543.