fix #4222