tiny fix and checkstyle