Fix minor misnomer, yet another one