Error in Documentation: CREATE TRIGGER

https://docs.jboss.org/author/display/TEIID/DDL+Metadata

Section "INSTEAD OF TRIGGERS" (both Example and Diagram):

Now:
CREATE TRIGGER ON CustomerOrders INSTEAD OF INSERT
FOR EACH ROW...

Should be:
CREATE TRIGGER ON CustomerOrders INSTEAD OF INSERT
AS FOR EACH ROW...