Some corrections, adding introduction to section of properties of voids