fix a name error