Make lint happy.