Potential fix for some stack traces (that had no adverse side effect, but which were annoying)