Javadoc fix (#43).