Fix a checkstyle failure