minor typo in javadocs