Minor naming correction