fix #4337