Fixed an obsolete access to ``obj_ptr`` attribute.

``obj_ptr`` was replaced by ``int_ptr`` everywhere since commit e1f7d40ab885dfbf35fde3405ac1931a584bb6a2. This entry seems to have been forgotten.