try to fix #4444