Fix a shell quoting problem

or work around it that is