Fix typo in bash syntax