A displayed formula is corrected, and two references are added.