Fix a bug in the previous patch: it assumed that echo '...\...' had