Fix dumb lint errors