Issue #26: fixing javadoc.