removed to fix bug 4141