fix outdated Javadoc