fix #4073