fix #4197