- fix bug #3200