REVISED VERSION. Please discard earlier version.