minor changes to JSLitmus and JSDoc