minor fix in PublishWorkflowChecker.php