fix #4267