Adjusted test for issue 4001