Make webkit-checkstyle happy.