I should read the test results more carefully. The last change actually
did not fix the duplicate test case due to a typo. Fixed the typo.