run.4: Fix a typo in the DIAGNOSTICS section
(cherry picked from commit 1cc4c2f90f40abcec810adfa4673240c7bc71119)