--- a/webaudio/specification.html	Mon Feb 25 16:01:27 2013 -0800
+++ b/webaudio/specification.html	Mon Mar 04 15:04:40 2013 -0500
@@ -1207,7 +1207,7 @@
 <pre class="code"><code class="idl-code">
 callback OfflineRenderSuccessCallback = void (AudioBuffer renderedData);
 
-[Constructor]
+[Constructor(unsigned long numberOfChannels, unsigned long length, float sampleRate)]
 interface <dfn id="dfn-OfflineAudioContext">OfflineAudioContext</dfn> : AudioContext {
 
     void startRendering();