Typo in Bash Reference Manual

The GNU Bash Reference Manual 5.3

https://www.gnu.org/software/bash/manual/bash.html#Here-Documents

Text reads:

> If the redirection operator is ‘<<-’, the shell strips leading tab
characters are stripped from input lines and the line containing delimiter.

The verb "strip" is repeated.

Text should read, e.g.:

> If the redirection operator is ‘<<-’, the shell strips leading tab
characters from input lines and the line containing delimiter.

Or, maybe:

> If the redirection operator is ‘<<-’, leading tab characters are stripped
from input lines and the line containing delimiter.

Regards,

 — Bobby