fix #4138