fix #4141