Revised the documentation and changed a few comments in the syntax.pl file.