fix #3144