Oops - someone used "f 10" for all of the ATSC formats instead of incrementing
to 11, 12 and 13
Authored by: sms00 2006-10-07
Parent: [r3125]
Child: [r3127]
