TravisCI configuration fix