small bash script change.