fix #4146