fix #3623