http://docs.fedoraproject.org/en-US/Fedora/19/html/Installation_Guide/ch-Boot-x86.html
and came to
Fedora 19 does not support UEFI booting for 32-bit x86 systems. Only BIOS booting is supported.
I think a reference link of the type. "For more information between the differences between UEFI and BIOS booting, refer to .LINK (where to be researched or written)"
needs to be added.
Why
If you are already a technical individual, this line offers no new information to you. If you are moving from a non linux system to linux for the first time, (as this installation guide addresses, then a footnote about the differences is recommended.