Fix another bash-ism