try to fix #3872