Fixed double-entry in documentation comments.

Minor fix to clear up a documentation warning.