fix a naming mistake