fix #3818