diff -r ba80c3ceb6fb -r 2c3c4dc34979 lib/ieclib.txt
--- a/lib/ieclib.txt	Mon Jul 11 09:47:27 2011 +0100
+++ b/lib/ieclib.txt	Fri Jul 29 16:03:28 2011 +0100
@@ -39,6 +39,6 @@
 {#include "pid_st.txt" }
 {#include "ramp_st.txt" }
 
-(* From later versions of the standard *)
+(* Not in the standard, but useful nonetheless. *)
 {#include "sema.txt" }