try to fix #4478