fix #4242
fix #4241