Bash: one more fix.