Fix a checkstyle issue