Some parameters renamed, and a clarifying comment added