Fixing bash syntax