fix incomplete rename

from 9bd7ffe9527a8ee07459a91ab5a3fe64d01feabb