Fix syntax for old versions of bash