Minor correction to name of formula