Fix a checkstyle error