Fixed a bug in crawl-arxiv-abs.py