Bug fix: wrong parameter used in querying global object points-to information.