TravisCI config fix