hack jsdoc to overcome github.io bug