diff --git a/src/Refinements/EBin.class.st b/src/Refinements/EBin.class.st
index a0d779d54..0b8f52471 100644
--- a/src/Refinements/EBin.class.st
+++ b/src/Refinements/EBin.class.st
@@ -39,7 +39,7 @@ EBin >> bop: anObject [
 { #category : #'term rewriting' }
 EBin >> evaluateIn: anEvalEnv ifUndeclared: vndBlock [
 	^(left evaluateIn: anEvalEnv ifUndeclared: vndBlock)
-		perform: bop smalltalkSelector
+		perform: bop
 		with: (right evaluateIn: anEvalEnv ifUndeclared: vndBlock)
 ]
 
diff --git "a/src/SpriteLang/\316\233PrimOp.class.st" "b/src/SpriteLang/\316\233PrimOp.class.st"
index eb2cca3ad..5903ce198 100644
--- "a/src/SpriteLang/\316\233PrimOp.class.st"
+++ "b/src/SpriteLang/\316\233PrimOp.class.st"
@@ -38,10 +38,11 @@ Class {
 ΛPrimOp >> embedPrim: args [
 "
 embedPrim :: PrimOp -> [F.Expr] -> F.Expr
+Cf. L₈ Reflect.hs
 "
 	self assert: args size = 2.
 	^EBin
-		bop: self
+		bop: self smalltalkSelector
 		left: args first
 		right: args second
 ]