fix another naming issue