Fix bug in calls to @receiver