Minor changes before arxiv