bug in arxiv regexp for old id style