fixed a Java warning