Fix another issue of pointer-size-is-not-range.

Fixes #49