Javadoc fix (#534)