fix double ;; breaking bash