Thanks for reporting the problem. This is a bug in grep's man page, which wasn't 
updated back in 2016 when I updated the main documentation. (The man page is 
lower priority and is sometimes neglected.) I installed the attached patch to 
fix it.