Fixed TravisCI configuration