fix a small bug in a comment
[bugfix] wrong external representation for syntax type