fixing bug 3951