fix for bug893366