typo in Foreign.Ptr.minusPtr documentation