Fix exit command in a Bash example.