Make lint happy