fix #4227