Unnecessary line of documentation.

This line of documentation appears to be a duplicate of line 139.