Minor edits to travis config