on the case statement in Bash