fixing bug #4167