Fixes #2508 -- existential access of the prototype.