fix #4378