[SMIL30 CR comment] Editorial bug in SMIL Tiny Section example

In

http://www.w3.org/TR/2008/CR-SMIL3-20080115/smil30.html#smil-tiny-profile

it says:

"In addition, the example uses the clipBegin and clipEnd attributes from 
the MediaClipping module and the wallclock from the WallclockTiming 
module. These two required modules are declared in the smil element as 
defined in the SMIL 3.0 Scalability Framework."

Doesn't this mean that these attributes should have namespace prefixes 
in the XML example given just above this paragraph?

That is for example

> 14 <video src="rtsp://videoserver.tvchannel.com/livenews.rm" 
 > begin="wallclock(20:00:00)" dur="60:00" title="News">

should read begin="Wallclock:wallclock(20:00:00)"

and

> 20       <video src="./series/coronationAv/chapter20.rm" 
> clipBegin="5:00" clipEnd="65:00" title="Coronation Avenue" >

should read MediaClipping:clipBegin="5:00"