fixing bug #3345