fix in arxiv ID detection (again...)