Small fix

There was a global error in tests.js; that's fixed now.