(visit-tags-table-buffer): Bind a variable local-tags-file-name with the value of tags-file-name before calling tags-verify-table, which switches buffers; change all references to use local-tags-file-name. Save current buffer before that call and on error, switch back before killing local value of tags-file-name.