inserted: comments for syntax sections