fixing bug #3924