Fix a test case broken by r193872