Fixed Travis-CI config