new references; revised HST'13 to "to appear"