Fix PR tagging in travis.yml