Fix pasto in Ptr encoding

Without this fix, the code doesn't even compile