Small improvement on CrashReporter.java