yet another pedantic name correction