Minor update to make bash script sh-compatible