test for bug #32