Fix a small syntax error in the generated shell script