Fixed a problem with running tests on Travis CI (?).