  Investigating the long time asymptotics of the totally asymmetric simple
exclusion process, Sasamoto obtains rather indirectly a formula for the GOE
Tracy-Widom distribution. We establish that his novel formula indeed agrees
with more standard expressions.
