fix #3617