fix #4985