diff --git a/docs/porting.md b/docs/porting.md
index 6585150..038e001 100644
--- a/docs/porting.md
+++ b/docs/porting.md
@@ -153,12 +153,12 @@ Recieve char from the console device, waiting for it to arrive.
 
 #### $0005 - FCode List Pointer ( -- address ) currently not used
 
-When the feature is implemented and FCode support is built assembled into the
-Forth system, this function should return the address of one or more cells
-containing the addresses of tokenized FCode to evaluate at initialization time,
-or zero if there are none.  The list should end with zeros.
+When FCode support is built into the Forth system, this function should return either
+zero, or the address of one or more cells containing the addresses of tokenized FCode 
+to evaluate at initialization time.  The list should end with a zero.
 
-For now, this should simply return 0.
+The system trusts that there is FCode at each address in the list and calls 1 BYTE-LOAD
+for each address in the list.
 
 #### $0006 - Reset-All ( -- ) reboot the system as if the power had been cycled
 
diff --git a/platforms/W65C816SXB/platform-lib.s b/platforms/W65C816SXB/platform-lib.s
index 19e100f..03ca952 100644
--- a/platforms/W65C816SXB/platform-lib.s
+++ b/platforms/W65C816SXB/platform-lib.s
@@ -41,8 +41,8 @@
 ; $0004 ( -- char ) read a character from the console (blocking)
 ; $0005 ( -- addr ) return pointer to list of FCode modules to evaluate.  If pointer is
 ;       0, none are evaluated.  List should be 32-bit pointers ending in 0.
-;       this is never called if FCode support is not included.  When this is implemented
-;       the system will trust that there is FCode there and not look for a signature.
+;       this is never called if FCode support is not included.
+;       The system will trust that there is FCode there and not look for a signature.
 ; $0006 ( -- ) perform RESET-ALL, restart the system as if reset button was pushed
 
 cpu_clk   = 8000000