Minor refactoring in Checker.java