* fixed an error in doc/browse.js.