HTML 5.1 MediaProvider and File objects

Comparing [1] to the MediaProvider IDL in that spec, the text description
in the spec describes a MediaProvider as one of multiple object types,
including File objects, but the MediaProvider IDL makes no mention of File
objects:

"typedef (MediaStream or MediaSource or Blob) MediaProvider;"

This seems like it is a bug. Is this a known issue?

Thanks (especially to ddorwin@ for pointing this out to me),
Matt

[1]
http://www.w3.org/html/wg/drafts/html/master/single-page.html#media-provider-object