Lots of copyediting to reduce page count in printed version.