fix Javadoc