Fix failing test in ResultTest