proper bash syntax