correct bash syntax