Make checkstyle happy.