Change in jenkins[master]: repo_closure_check: fix typo