I thought this change was OK because the line of code is only executed immediately before throwing a fatal exception.  If not, the code can be changed.