Fixed flush bug in CheckerImpl