Probably no practical impact, since all pointers ought to have the
same size, but it was wrong nonetheless.  Found by Coverity.