r1706: Fix deref-pointer call