Error in man page for grep utility; option "--line-buffering" should be "--line-buffered"

[Charles Sullivan]

$ man grep
 <snip>
     --line-buffering
             Use line buffering, it can be a performance penality.
 <snip>
GNU Project                       2002/01/22                           GREP(1)
 <snip>

$ grep --line-buffering
grep: unrecognized option `--line-buffering'
Usage: grep [OPTION]... PATTERN [FILE]...
Try `grep --help' for more information.

$ grep --help
 <snip>
      --line-buffered       flush output on every line
 <snip>

$ grep -V
grep (GNU grep) 2.5.1

Option "--line-buffered" works. 
Option "--line-buffering" doesn't work.

Conclusion: Error in man page.