better diagnostics message for finished_ok test