fix #3677