Adding test for bug #3417.