#13406: correct the error message in check_warnings too.
1 file changed