test case for bug #5