fix #4244