fix #3974