+ fixing bug #7284.