More work on flychecker syntax checkers