Minor fix for Java 7 Scanner bug