Fixed bug #4172