Fix test failure report (test exposing #94)