Fix Literate BASH example