probably fix #3642