fix a checkstyle error