Fix one minor misnomer