Small changes to Sec. 4.