minor jdoc update