fix #3010