Added INVOCATION to WITH-ACCESSORS for better symmetry.
Removed case that can no longer happen.