fix #3877;