* ert.texi (Running Tests Interactively): Adapt examle output.