fix #3129