minor cleanup of things like remove date for arxiv