minor: wrong name of param in javadoc