Very minor typo fix... not sure if these names should be used.