PR Tests: Fix a case in which the reporting of the results crashes