fix #4034