special highlighting for Bash