fix #4785