Make dash happy