Slight change to doc.js.