Fixed a bug in a test case