probably fix #3883