Fix pasto in Ptr encoding

Without this fix, the generated code doesn't even compile