fix some linty things