fix #4347