Fixed bug that caused all tests to fail in Travis CI