set explicit receiver kind properly