Fix some linty things