Tweak names of 2 intrinsics, which were recently changed #52

Closed searlmc1 closed 6 years ago