Minor jdoc-warning fixed.