small fix to stacktrace formatting