Make style-checking tools happy.