Make lint happier