Greatly improved the description of homology.