TRAVIS: Small fix.