uploading a test case reported by Wu Hao.