fix for mantis bug 3832