Updated documentation (syntax checkers)