fix bug #528