small fix to conjecture test to display more information