Issue #38: fix syntax error in script