opencascade bug fix