Fix typos in int64 bit-shift functions