Bash won't accept an empty if-body