Oops. See second post below.