Small change because we made the JS tester a bit more flexible