Fixing travis build

As requested