[bentcorner]

Whoops, good point. Uh.. maybe there's a cast in the original source and the bit shift was added at the same time?