Simplify and correct the Bash example script