fixed an error in docson.js

Made a small change in docson.js that should fix rendering of the page. If everybody agrees, let's merge into master.