reproduce bug #524916