Minor fix for the java-doc