CentOS docs - Aug 2007 - Possible typo in HowTos/PXE/PXE_Setup/Menus

Hi,

in the section where take reference to x86 Servers Menu the file says
x86_64_Servers.

...
/tftpboot/pxelinux.cfg/x86_64_Servers

MENU TITLE x86 Server Menu
...

Should it say x86_Servers instead ?

Cheers,

al.