fix #3695