Minor naming bugfix.