Make checkstyle happy