probably fix #3737