small fix in javadoc