Issue-120: fix Javadoc