FIxing Travis-CI integration