fix #4292