Little fix for arXiv