Apparent typographical errors have been repaired.