Remove some lint
Oops, forgot to git add this file