#536: Bash 'web', minor comment change