fix #4228