Fix error in test for issue 7023