Copy editing; general corrections and fixes