fixed an error in docson.js