diff --git a/ingressPort.adoc b/ingressPort.adoc
index dba1f6d..af2e239 100644
--- a/ingressPort.adoc
+++ b/ingressPort.adoc
@@ -306,7 +306,10 @@ block.
 *itype* can be 3 or 4 bits wide. If _itype_width_p_ is 3, a single code
 (6) is used to indicate all uninferable jumps. This is simpler to
 implement, but precludes use of the implicit return mode (see
-<<sec:implicit-return>>), which requires jump types to be fully classified.    
+<<sec:implicit-return>>), which requires jump types to be fully classified.  
+Note that when _itype_width_p_ is 3, *itype* = 0 is used for inferrable calls.  
+However, inferrable calls must still be the final instruction retired in a 
+block, otherwise the block would not be comprised of contiguous instructions.
 
 Whilst *iaddr* is typically a virtual address, it does not affect the
 encoder's behavior if it is a physical address.