probably fix #3999