fix #4057