corrections and refinements throughout the paper