fixing bug #5125