Fix a some inaccuracies in the original test case for #7912.