Made Checkstyle happy