fix #3638