fixing bug #3953