[minor] Guess what, another rename.