try to fix #4550