GRUB manual errata

Hello,

In section 4.1
<https://www.gnu.org/software/grub/manual/grub/html_node/Installing-GRUB-using-grub_002dinstall.html>
of the GRUB manual, a line says:

"The argument has to be either a device file (like ‘/dev/hda’)."

The sentence is written suggesting there should be an appended "or...", but
I am unable to guess it from the surrounding context.

Apologies if I am misreading,
Shea