Fixed TravisCI config