Fix bad bash syntax