WebIDL errors in WD-mediacapture-streams-20130516

FYI, the WebIDL checker reports a few errors for 
http://www.w3.org/TR/2013/WD-mediacapture-streams-20130516/:

http://www.w3.org/2009/07/webidl-check?doc=http%3A%2F%2Fwww.w3.org%2FTR%2F2013%2FWD-mediacapture-streams-20130516%2F&output=html

Received on Tuesday, 10 September 2013 10:55:34 UTC