fix #4280