Fix bug in Bash configuration.