test for bug #563