Bug fix for travis.