fix bug #5122