fix #3728